Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
151	DATIA Logo Usage Guidelines (Note: These guidelines are a work in progress & will be updated as additional details are available.) Who Can Use the DATIA Logo? Only members in good standing can use DATIA’s logo. Should Add to Reading List Source URL: datia.org Language: English - Date: 2015-12-17 17:03:13 Software engineering Computer programming Logo Programming language theory
152	The Habit Programming Language: The Revised Preliminary Report The High Assurance Systems Programming Project (Hasp) Department of Computer Science, Portland State University Portland, Oregon 97207, USA November 2010 Add to Reading List Source URL: hasp.cs.pdx.edu Language: English - Date: 2011-02-16 17:13:08 Functional languages Functional programming Data types Type theory Procedural programming languages Haskell Syntax Monad Type system ML Programming language Type class
153	___________________________________ ___________________________________________________________________________________________________________________________________________ 0 ___________________________________ Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-10-03 14:24:46 Software engineering Computing Programming language theory Procedural programming languages Object-oriented programming languages Cross-platform software Andrew Koenig C C++ Cfront Ada Dennis Ritchie
154	Andrew M. Kent Contact Information Lindley Hall 215 Indiana University Add to Reading List Source URL: andmkent.com Language: English - Date: 2016-02-14 16:25:01 Software engineering Programming language theory Computing Procedural programming languages Functional languages Gradual typing Type system Programming language Racket ALGOL 68 Io Association for Computing Machinery
155	A Simulation of Niche Construction Kevin B. Korb and Alan Dorin Technical ReportBayesian Intelligence Abstract We report on a simple, generic simulation of niches and their propagation Add to Reading List Source URL: bayesian-intelligence.com Language: English - Date: 2009-10-12 21:01:59 Programming language theory Software engineering Ecology Computer programming Landscape ecology Functional languages Market segmentation Ecological niche Habitat Lisp Niche
156	CS 201, Summer 2015 — July 9th — Exam 2 Name: Questionpoints] State a big-O upper bound on the running time of the following method, where the problem size N is the number of elements in the array passed as t Add to Reading List Source URL: ycpcs.github.io Language: English - Date: 2015-12-14 11:06:38 Software engineering Computer programming Programming language theory Subroutines C++ Java C++ classes Parameter ALGOL 68 This Generics in Java
157	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2013-11-25 15:39:10 Computer science Software engineering Computing Functional programming International Conference on Functional Programming Programming Language Design and Implementation Symposium on Principles of Programming Languages SIGPLAN ECL programming language Association for Computing Machinery Programming language theory
158	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:43:37 Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP
159	PDF Document Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-12 18:17:11 Software engineering Programming language theory Software NATO CENTAG wartime structure Gradual typing Factorization Type system Racket
160	COMP 520 FallType checking Type checking (1) Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-15 11:10:41 Data types Software engineering Type theory Computing Programming language theory Program analysis Type system Const

UPDATE